#include <iostream>
#include <stdio.h>
#include <cmath>

using namespace std;

int a[100];
int main() {
    int n,i = 0,j=0,k,n2=0;
    cin >> n >> k;
    if(n % 19 == 0){
        while(pow(10,i) <= n){
            i += 1;
        }
        for(int j = 1; j <= i; j ++){
            a[i-j] = n / int(pow(10,i-j)) % 10;
            n -= a[i-j]*pow(10,i-j);
        }
        for(int j = 0; j < i; j ++){
            if(a[j]==3){
                n2 += 1;
            }   
        }
        if(n2 == k){
            cout << "YES";
        }
        else{
            cout << "NO";
        }
    }
    else{
        cout << "NO";
    }
    return 0;

}